1

The heart of intersection type assignment: Normalisation proofs revisited

Steffen van Bakel
Journal:
Theoretical Computer Science
Year:
2008
Language:
english
File:
PDF, 271 KB
english, 2008
2

Intersection types for λ-trees

Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 298 KB
english, 2002
4

Strict intersection types for the Lambda Calculus

Bakel, Steffen Van
Journal:
ACM Computing Surveys
Year:
2011
Language:
english
File:
PDF, 3.15 MB
english, 2011
5

Orchestrated session compliance

Barbanera, Franco, van Bakel, Steffen, de'Liguoro, Ugo
Journal:
Journal of Logical and Algebraic Methods in Programming
Year:
2016
Language:
english
File:
PDF, 2.08 MB
english, 2016
6

Preface

Steffen van Bakel, Stefano Berardi, Ulrich Berger
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 146 KB
english, 2010
7

Intersection and Union Types for

Steffen van Bakel
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 398 KB
english, 2005
8

Preface

Steffen van Bakel, Stefano Berardi
Journal:
Annals of Pure and Applied Logic
Year:
2008
Language:
english
File:
PDF, 121 KB
english, 2008
9

Completeness and partial soundness results for intersection and union typing for

Steffen van Bakel
Journal:
Annals of Pure and Applied Logic
Year:
2010
Language:
english
File:
PDF, 2.62 MB
english, 2010
10

Implementing

Steffen van Bakel, Jayshan Raghunandan
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2005
Language:
english
File:
PDF, 375 KB
english, 2005
12

Normalization, approximation, and semantics for combinator systems

Steffen van Bakel, Maribel Fernández
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 400 KB
english, 2003
13

Preface: Volume 70, Issue 1

Steffen van Bakel
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 43 KB
english, 2003
14

Logical Equivalence for Subtyping Object and Recursive Types

Steffen van Bakel, Ugo de’Liguoro
Journal:
Theory of Computing Systems
Year:
2008
Language:
english
File:
PDF, 1.59 MB
english, 2008
15

Complete restrictions of the intersection type discipline

Steffen van Bakel
Journal:
Theoretical Computer Science
Year:
1992
Language:
english
File:
PDF, 1.64 MB
english, 1992
16

Rank 2 Types for Term Graph Rewriting: Extended Abstract

Steffen van Bakel
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 161 KB
english, 2003
17

Normalization Results for Typeable Rewrite Systems

Steffen van Bakel, Maribel Fernández
Journal:
Information and Computation
Year:
1997
Language:
english
File:
PDF, 3.71 MB
english, 1997
19

Intersection type assignment systems

Steffen van Bakel
Journal:
Theoretical Computer Science
Year:
1995
Language:
english
File:
PDF, 2.37 MB
english, 1995
20

Preface

van Bakel, Steffen, Berardi, Stefano, Berger, Ulrich
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 79 KB
english, 2013
21

Principal Type Schemes for the Strict Type Assignment System

van BAKEL, STEFFEN
Journal:
Journal of Logic and Computation
Year:
1993
Language:
english
File:
PDF, 1.22 MB
english, 1993
22

Computation with classical sequents

VAN BAKEL, STEFFEN, LESCANNE, PIERRE
Journal:
Mathematical Structures in Computer Science
Year:
2008
Language:
english
File:
PDF, 576 KB
english, 2008